Perfect. Okay, yes, so I'm going to substitute today for Professor Kohlhaase, as you maybe

remember. And that means we'd have a lab today and then probably no lab on Thursday. So just

what we are going to do today is three things. One is discuss the homework that was to create

the concrete syntax for fragment two. And then we are going to implement the tableau machine. So

we basically have all the parts for that. We have the tableau. We've already started feeding

the sentences into that. We'll just finish that up properly and experiment with it. And three,

we're going to do some question answering. That's basically everything for that as well.

So here's the questions. We translate them to logic and we use the tableau to answer them.

Just simply yes or no questions. Okay, so I share the screen.

All right. Good. Does anybody want to show the solution? Let me discuss these questions.

Yes. Okay, good. So that's in here, I guess. Here. All right. So you use the abstract syntax

you made in the lecture. So nothing interesting here. You extended the lexicon. That's good.

And then here you made your concrete syntax. Want to briefly tell your main ideas?

Yes.

Very fun. Yes.

Yes.

Okay.

Ah, so it's this one here. Expected table type 947.

Yes. It looks correct to me in general.

Okay. We'll look into that in a moment. Before we do that, does anybody have,

did we discuss the table already in the lecture in the first place? Or are you

clear about what it does? Yes. Okay. Good. Yes. So this looks correct. My guess is looking at

the error message. It says something here like expected. Wait. Table type expected.

I'm going to remove all of this.

Did you possibly forget to put one of these categories here? We have one, two, three, four,

five, six, seven. One, two, three, four, five, six, seven.

Okay.

MPN per.

Yeah. Okay. Good. Now you know. So in general, maybe this helps in the future. The error message

was something like expected this kind of thing. And if I would ever mention something like that,

we never put it anywhere. And I think the reason is that this is sort of the default linearization.

So that gives you a hunch that somehow you didn't put a linearization. Okay. Good. So we have your

grammar fixed. We can generate some random sentences. That's probably

better linearized then.

Yeah. That looks good. We can also once try to pass just to make sure it all works.

Peter laughed.

Didn't laugh.

Okay. Without an apostrophe. Okay.

So, I mean, it's the wrong sentence. I expected it to say.

That's interesting.

All right. So there's some small bugs in there probably.

Right. But I would guess that it's fixable. Peter didn't laugh. That means we expect

to have one of these rules here. The V5 rule.

And then, so we could just do this sentence, just this, right? Now we could say what happens.

We linearize the sentence, but we wrap the laugh thing in the V5 rule. Right.

V5 negates the verb phrase. So we probably fight. We expect Peter didn't laugh.

Peter not laugh. So some small bug there probably. But that's all right. So in general,

the sentences here look all good. Anybody else?

Anybody else with questions about the homework?

So I think this is just something with the finite and the infinite form,